#ifndef BCC4F16A_2347_44CE_840E_4A36B8BB7D72
#define BCC4F16A_2347_44CE_840E_4A36B8BB7D72
#ifndef SYSTICK_H
#define SYSTICK_H

void systick_irq(void);
unsigned long get_systick(void);
unsigned long get_frequency(void);

#endif


#endif /* BCC4F16A_2347_44CE_840E_4A36B8BB7D72 */
